The Capability-Tractability Tradeoff (2023)
buttondown.com·15h·
Discuss: Hacker News
💧Liquid Types
Secure QKD Network Resilience via Dynamic Threshold-Adaptive Key Reconciliation
dev.to·1d·
Discuss: DEV
🔐Quantum Cryptography
The Infrastructure Physics Problem Behind AI’s Data Center Crisis
telecomramblings.com·1d
🌊Stream Processing
LLM-Generated Rules Engines for LLM Explainability
brain.co·1d·
Discuss: Hacker News
🔗Constraint Handling
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·5h·
Discuss: Hacker News
🔤Type Theory
Reverse Engineering a Siemens Programmable Logic Controller for Funs and Vulns (CVE-2024-54089, CVE-2024-54090 & CVE-2025-40757)
trebledj.me·1d
🔓Hacking
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·1d
💻Local LLMs
Choosing Rust for LLM-generated code
runmat.org·18h·
Discuss: Hacker News
🦀Rust Macros
The Engineer in the AI Age: The Orchestrator and Architect
thenewstack.io·21h
🔄Language Evolution
Gauss, an Agent for Autoformalization
math.inc·1d·
Discuss: Hacker News, Hacker News, Hacker News
🏛️Agda
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai·1d·
Discuss: Hacker News
🔐Quantum Security
Lobsters Interview with Susam
lobste.rs·21h·
Discuss: Lobsters
🔗Concatenative Programming
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·2d
📝ABNF Parsing
Codeminer42 Dev Weekly #78
blog.codeminer42.com·22h
🏺ZIP Archaeology
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·2d·
Discuss: Hacker News
💧Liquid Types
An introduction to program synthesis
mchav.github.io·1d·
Discuss: Hacker News, r/programming
📝Compiler Design
Why the best LLMs are not enough for the AI SOC
intezer.com·21h
🎯Threat Hunting
Digest #179: Vibe Coding Hype, DevOps Exercises, Terraform+MCP, Windows inside a Docker
devopsbulletin.com·22h
❄️Nix Adoption
Building multi-agent tools for engineering
newstoretech.substack.com·23h·
Discuss: Substack
⚙️TLA+
Improving My Dotfiles Posture
benprisby.com·2h·
Discuss: Hacker News
📦Package Managers